Sfoglia per Rivista LECTURE NOTES IN ARTIFICIAL INTELLIGENCE
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL
2013-01-01 Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening
RDL---Rewrite and Decision procedure Laboratory
2001-01-01 Armando, Alessandro; Compagna, L.; Ranise, Silvio
A Situational Approach for the Definition and Tailoring of a Data-Driven Software Evolution Method
2018-01-01 Franch, Xavier; Ralyté, Jolita; Perini, Anna; Abelló, Alberto; Ameller, David; Gorroñogoitia, Jesús; Nadal, Sergi; Oriol, Marc; Seyff, Norbert; Siena, Alberto; Susi, Angelo
Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers
2018-01-01 Cerone, Antonio; Roveri, Marco
Termination of Constraint Contextual Rewriting
2000-01-01 Armando, Alessandro; Ranise, Silvio
The MathSAT5 SMT Solver
2013-01-01 Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani
Theory and Applications of Satisfiability Testing – SAT 2012
2012-01-01 Cimatti, Alessandro; Sebastiani, Roberto
“Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated ActivityOnline Communities and Social Computing
2011-01-01 Luciano, Gamberini; Francesco, Martino; Anna, Spagnolli; Roberto, Baù; Ferron, Michela
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Interpolation-Based Verification of Floating-Point Programs with Abstract CDCL | 1-gen-2013 | Martin, Brain; Vijay, D’Silva; Griggio, Alberto; Leopold, Haller; Daniel, Kroening | |
RDL---Rewrite and Decision procedure Laboratory | 1-gen-2001 | Armando, Alessandro; Compagna, L.; Ranise, Silvio | |
A Situational Approach for the Definition and Tailoring of a Data-Driven Software Evolution Method | 1-gen-2018 | Franch, Xavier; Ralyté, Jolita; Perini, Anna; Abelló, Alberto; Ameller, David; Gorroñogoitia, Jesús; Nadal, Sergi; Oriol, Marc; Seyff, Norbert; Siena, Alberto; Susi, Angelo | |
Software Engineering and Formal Methods - {SEFM} 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers | 1-gen-2018 | Cerone, Antonio; Roveri, Marco | |
Termination of Constraint Contextual Rewriting | 1-gen-2000 | Armando, Alessandro; Ranise, Silvio | |
The MathSAT5 SMT Solver | 1-gen-2013 | Cimatti, Alessandro; Griggio, Alberto; Bastiaan Joost, Schaafsma; Roberto, Sebastiani | |
Theory and Applications of Satisfiability Testing – SAT 2012 | 1-gen-2012 | Cimatti, Alessandro; Sebastiani, Roberto | |
“Your Team Cohesion is Low”: A Systematic Study of the Effects of Social Network Feedback on Mediated ActivityOnline Communities and Social Computing | 1-gen-2011 | Luciano, Gamberini; Francesco, Martino; Anna, Spagnolli; Roberto, Baù; Ferron, Michela |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile